搜索包含 Mathematical Software Symposium 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

	Boundary Element Analysis [electronic resource] : Mathematical Aspects and Applications 0 索取号：作者：Schanz、 Martin.、Steinbach、 Olaf.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Formal Methods and Software Engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings 0 索取号：作者：Liu、 Zhiming.、He、 Jifeng.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Computer and Information Sciences-ISCIS 2006 [electronic resource] : 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings 0 索取号：作者：Levi、 Albert.、Sava艧、 Erkay.、Yenig眉n、 H眉sn眉.、Balc谋soy、 Selim.、Sayg谋n、 Y眉cel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings 0 索取号：作者：Graf、 Susanne.、Zhang、 Wenhui.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Mathematical Formulas for Economists [electronic resource] 0 索取号：作者：Luderer、 Bernd.、Nollau、 Volker.、Vetters、 Klaus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Software Visualization [electronic resource] : Visualizing the Structure, Behaviour, and Evolution of Software 0 索取号：作者：Diehl、 Stephan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Frontiers of Computational Science [electronic resource] : Proceedings of the International Symposium on Frontiers of Computational Science 2005 0 索取号：作者：Kaneda、 Yukio.、Kawamura、 Hiroshi.、Sasai、 Masaki.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Ubiquitous Computing Systems [electronic resource] : Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006. Proceedings 0 索取号：作者：Youn、 Hee Yong.、Kim、 Minkoo.、Morikawa、 Hiroyuki.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures 0 索取号：作者：Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Information Retrieval Technology [electronic resource] : Third Asia Information Retrieval Symposium, AIRS 2006, Singapore, October 16-18, 2006. Proceedings 0 索取号：作者：Ng、 Hwee Tou.、Leong、 Mun-Kew.、Kan、 Min-Yen.、Ji、 Donghong.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers 0 索取号：作者：L盲mmel、 Ralf.、Saraiva、 Jo茫o.、Visser、 Joost.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Management of Convergence Networks and Services [electronic resource] : 9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2006 Busan, Korea, September 27-29, 2006 Proceedings 0 索取号：作者：Kim、 Young-Tak.、Takano、 Makoto.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Computational Life Sciences II [electronic resource] : Second International Symposium, CompLife 2006, Cambridge, UK, September 27-29, 2006. Proceedings 0 索取号：作者：R. Berthold、 Michael.、Glen、 Robert C.、Fischer、 Ingrid.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Foundations of Intelligent Systems [electronic resource] : 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006. Proceedings 0 索取号：作者：Esposito、 Floriana.、Ra艣、 Zbigniew W.、Malerba、 Donato.、Semeraro、 Giovanni.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [electronic resource] : 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeir茫o Preto, Brazil, October 23-27, 2006. Proceedings 0 索取号：作者：Sichman、 Jaime Sim茫o.、Coelho、 Helder.、Rezende、 Solange Oliveira.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Mathematical Methods for Engineers and Scientists 3 [electronic resource] : Fourier Analysis, Partial Differential Equations and Variational Methods 0 索取号：作者：Tang、 Kwong-Tin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

	Boundary Element Analysis [electronic resource] : Mathematical Aspects and Applications 0 索取号：作者：Schanz、 Martin.、Steinbach、 Olaf.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Formal Methods and Software Engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings 0 索取号：作者：Liu、 Zhiming.、He、 Jifeng.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Computer and Information Sciences-ISCIS 2006 [electronic resource] : 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings 0 索取号：作者：Levi、 Albert.、Sava艧、 Erkay.、Yenig眉n、 H眉sn眉.、Balc谋soy、 Selim.、Sayg谋n、 Y眉cel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings 0 索取号：作者：Graf、 Susanne.、Zhang、 Wenhui.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Mathematical Formulas for Economists [electronic resource] 0 索取号：作者：Luderer、 Bernd.、Nollau、 Volker.、Vetters、 Klaus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Software Visualization [electronic resource] : Visualizing the Structure, Behaviour, and Evolution of Software 0 索取号：作者：Diehl、 Stephan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Frontiers of Computational Science [electronic resource] : Proceedings of the International Symposium on Frontiers of Computational Science 2005 0 索取号：作者：Kaneda、 Yukio.、Kawamura、 Hiroshi.、Sasai、 Masaki.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Ubiquitous Computing Systems [electronic resource] : Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006. Proceedings 0 索取号：作者：Youn、 Hee Yong.、Kim、 Minkoo.、Morikawa、 Hiroyuki.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures 0 索取号：作者：Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Information Retrieval Technology [electronic resource] : Third Asia Information Retrieval Symposium, AIRS 2006, Singapore, October 16-18, 2006. Proceedings 0 索取号：作者：Ng、 Hwee Tou.、Leong、 Mun-Kew.、Kan、 Min-Yen.、Ji、 Donghong.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers 0 索取号：作者：L盲mmel、 Ralf.、Saraiva、 Jo茫o.、Visser、 Joost.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Management of Convergence Networks and Services [electronic resource] : 9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2006 Busan, Korea, September 27-29, 2006 Proceedings 0 索取号：作者：Kim、 Young-Tak.、Takano、 Makoto.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Computational Life Sciences II [electronic resource] : Second International Symposium, CompLife 2006, Cambridge, UK, September 27-29, 2006. Proceedings 0 索取号：作者：R. Berthold、 Michael.、Glen、 Robert C.、Fischer、 Ingrid.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Foundations of Intelligent Systems [electronic resource] : 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006. Proceedings 0 索取号：作者：Esposito、 Floriana.、Ra艣、 Zbigniew W.、Malerba、 Donato.、Semeraro、 Giovanni.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [electronic resource] : 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeir茫o Preto, Brazil, October 23-27, 2006. Proceedings 0 索取号：作者：Sichman、 Jaime Sim茫o.、Coelho、 Helder.、Rezende、 Solange Oliveira.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Mathematical Methods for Engineers and Scientists 3 [electronic resource] : Fourier Analysis, Partial Differential Equations and Variational Methods 0 索取号：作者：Tang、 Kwong-Tin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.